群・環をつかって変換するって話になっていくのかなと予想 https://j.mp/3yc6Ma2



from Twitter https://twitter.com/o_ob